타입 시스템

프로그래밍 언어의 타입 시스템(type system)은 프로그래밍 언어의 문장들을 타입에 따라 분류하고, 프로그램의 특정 성질을 보장하는 시스템이다. [1]에서는 타입 시스템을 다음과 같이 정의하고 있다.

A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.

넓은 의미에서 타입 시스템은 타입 이론과 같은 의미로 해석되기도 한다. 본 문서에서 '타입 시스템'은 프로그래밍 언어에서의 타입 시스템만을 의미한다.

참고문헌